php - PHP 是否具有与 Java \'synchronized\' 等效的功能，或者这不是必需的？